<html>
<head><meta charset="utf-8"><title>prioritization script · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html">prioritization script</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201742023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201742023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201742023">(Jun 23 2020 at 15:33)</a>:</h4>
<p>I've just opened a PR to tweak a bit more our script, this is now complete but as we have already in our tasks it would be great to start splitting this into parts an integrating it with triagebot for real</p>



<a name="201742037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201742037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201742037">(Jun 23 2020 at 15:33)</a>:</h4>
<p><a href="https://github.com/rust-lang/triagebot/issues/645">triagebot#645</a></p>



<a name="201742125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201742125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201742125">(Jun 23 2020 at 15:34)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="250987">@apiraino</span> for the time you invested in this too <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="201742173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201742173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201742173">(Jun 23 2020 at 15:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> when you can check that out would be great</p>



<a name="201742182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201742182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201742182">(Jun 23 2020 at 15:34)</a>:</h4>
<p>but it's really low risk</p>



<a name="201742216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201742216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201742216">(Jun 23 2020 at 15:35)</a>:</h4>
<p>the main thing is if you want <code>tera</code> as a dependency I guess</p>



<a name="201743823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201743823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201743823">(Jun 23 2020 at 15:47)</a>:</h4>
<p>to further expand on this point, we weighted in whether to use a homemade templating solution (smaller footprint but then own maintenaince) or an external dependency (better tested and perhaps with a familiar syntax)</p>



<a name="201975858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201975858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201975858">(Jun 25 2020 at 14:25)</a>:</h4>
<p><a href="https://github.com/rust-lang/triagebot/issues/645">triagebot#645</a> was merged <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="201994210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201994210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201994210">(Jun 25 2020 at 16:45)</a>:</h4>
<p>Also <a href="https://github.com/rust-lang/rust/issues/73698">#73698</a> was merged <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="201996621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201996621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201996621">(Jun 25 2020 at 17:06)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> come to comment exactly that, so starting now messages will be sent to the stream <a class="stream" data-stream-id="245100" href="/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts">#t-compiler/wg-prioritization/alerts</a> and will ping <span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span></p>



<a name="201996692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201996692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201996692">(Jun 25 2020 at 17:06)</a>:</h4>
<p>if people want to be removed from the group let me know</p>



<a name="201996762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/prioritization%20script/near/201996762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/prioritization.20script.html#201996762">(Jun 25 2020 at 17:07)</a>:</h4>
<p>Nah, I still want to get flooded <span aria-label="ocean" class="emoji emoji-1f30a" role="img" title="ocean">:ocean:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>